Optimal. Leaf size=35 \[ \frac{p}{2 x^2}-\frac{\left (a+\frac{b}{x^2}\right ) \log \left (c \left (a+\frac{b}{x^2}\right )^p\right )}{2 b} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0259068, antiderivative size = 35, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.188, Rules used = {2454, 2389, 2295} \[ \frac{p}{2 x^2}-\frac{\left (a+\frac{b}{x^2}\right ) \log \left (c \left (a+\frac{b}{x^2}\right )^p\right )}{2 b} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2454
Rule 2389
Rule 2295
Rubi steps
\begin{align*} \int \frac{\log \left (c \left (a+\frac{b}{x^2}\right )^p\right )}{x^3} \, dx &=-\left (\frac{1}{2} \operatorname{Subst}\left (\int \log \left (c (a+b x)^p\right ) \, dx,x,\frac{1}{x^2}\right )\right )\\ &=-\frac{\operatorname{Subst}\left (\int \log \left (c x^p\right ) \, dx,x,a+\frac{b}{x^2}\right )}{2 b}\\ &=\frac{p}{2 x^2}-\frac{\left (a+\frac{b}{x^2}\right ) \log \left (c \left (a+\frac{b}{x^2}\right )^p\right )}{2 b}\\ \end{align*}
Mathematica [A] time = 0.0080653, size = 34, normalized size = 0.97 \[ \frac{1}{2} \left (\frac{p}{x^2}-\frac{\left (a+\frac{b}{x^2}\right ) \log \left (c \left (a+\frac{b}{x^2}\right )^p\right )}{b}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.059, size = 50, normalized size = 1.4 \begin{align*} -{\frac{a}{2\,b}\ln \left ( c \left ( a+{\frac{b}{{x}^{2}}} \right ) ^{p} \right ) }-{\frac{1}{2\,{x}^{2}}\ln \left ( c \left ( a+{\frac{b}{{x}^{2}}} \right ) ^{p} \right ) }+{\frac{ap}{2\,b}}+{\frac{p}{2\,{x}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.12336, size = 73, normalized size = 2.09 \begin{align*} -\frac{1}{2} \, b p{\left (\frac{a \log \left (a x^{2} + b\right )}{b^{2}} - \frac{a \log \left (x^{2}\right )}{b^{2}} - \frac{1}{b x^{2}}\right )} - \frac{\log \left ({\left (a + \frac{b}{x^{2}}\right )}^{p} c\right )}{2 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.11883, size = 93, normalized size = 2.66 \begin{align*} \frac{b p - b \log \left (c\right ) -{\left (a p x^{2} + b p\right )} \log \left (\frac{a x^{2} + b}{x^{2}}\right )}{2 \, b x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 11.7439, size = 58, normalized size = 1.66 \begin{align*} \begin{cases} - \frac{a p \log{\left (a + \frac{b}{x^{2}} \right )}}{2 b} - \frac{p \log{\left (a + \frac{b}{x^{2}} \right )}}{2 x^{2}} + \frac{p}{2 x^{2}} - \frac{\log{\left (c \right )}}{2 x^{2}} & \text{for}\: b \neq 0 \\- \frac{\log{\left (a^{p} c \right )}}{2 x^{2}} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.27776, size = 88, normalized size = 2.51 \begin{align*} -\frac{a p \log \left (a x^{2} + b\right )}{2 \, b} + \frac{a p \log \left (x\right )}{b} - \frac{p \log \left (a x^{2} + b\right )}{2 \, x^{2}} + \frac{p \log \left (x^{2}\right )}{2 \, x^{2}} + \frac{b p - b \log \left (c\right )}{2 \, b x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]